Products and Coproducts in Categories
ثبت نشده
چکیده
A product and coproduct in categories are introduced. The concepts included correspond to that presented in 7]. and 6] provide the notation and terminology for this paper.
منابع مشابه
Basic categorial constructions
1. Categories and functors 2. Standard (boring) examples 3. Initial and final objects 4. Categories of diagrams: products and coproducts 5. Example: sets 6. Example: topological spaces 7. Example: products of groups 8. Example: coproducts of abelian groups 9. Example: vectorspaces and duality 10. Limits 11. Colimits 12. Example: nested intersections of sets 13. Example: ascending unions of sets...
متن کاملThe Extensive Completion of a Distributive Category
A category with finite products and finite coproducts is said to be distributive if the canonical map A×B + A×C → A× (B + C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D → Dex preserving finite products and finite coproducts, for which Dex is extensive; that is, for all objects A and B the functor Dex/A × Dex/B → Dex/(A + B) is a...
متن کاملSubpullbacks and coproducts of $S$-posets
In 2001, S. Bulman-Fleming et al. initiated the study of three flatness properties (weakly kernel flat, principally weakly kernel flat, translation kernel flat) of right acts $A_{S}$ over a monoid $S$ that can be described by means of when the functor $A_{S} otimes -$ preserves pullbacks. In this paper, we extend these results to $S$-posets and present equivalent descriptions of weakly kernel p...
متن کاملQuillen model categories without equalisers or coequalisers
Quillen defined a model category to be a category with finite limits and colimits carrying a certain extra structure. In this paper, we show that only finite products and coproducts (in addition to the certain extra structure alluded to above) are really necessary to construct the homotopy category. This leads to the interesting observation that the homotopy category construction could feasibly...
متن کاملO ct 2 00 6 Restriction categories III : colimits , partial limits , and extensivity
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about parti...
متن کامل